make a JSON string from C